Model theory

Results: 13417



#Item
451Logic / Mathematical logic / Modal logic / Non-classical logic / Model theory / Propositional calculus / Admissible rule / Intermediate logic / Kripke semantics / Substitution / FO / Modal companion

A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam

Add to Reading List

Source URL: www.phil.uu.nl

Language: English - Date: 2010-08-24 07:12:03
452Epidemiology / Health / Public health / Medicine / Alessandro Vespignani / Network science / Epidemic model / Complex network / Compartmental models in epidemiology / Network theory / Super-spreader / Endemic

COMPLEX NETWORKS - Epidemic Spreading And Complex Networks - Alain Barrat, Vittoria Colizza, Alessandro Vespignani EPIDEMIC SPREADING AND COMPLEX NETWORKS Alain Barrat Centre de Physique Théorique (CNRS UMR 6207), Mars

Add to Reading List

Source URL: www.eolss.net

Language: English - Date: 2011-09-25 16:03:08
453Abstract algebra / Algebra / Homotopy theory / Mathematics / Model category / Cohomology / Douglas Ravenel / Highly structured ring spectrum / Bousfield localization / Rational homotopy theory / Homotopy category / Derived category

Model structures and their applications GRK 1150 PhD-seminar In the past the language of model categories has been an enormously helpful tool to describe phenomena in homotopy theory, and in this seminar we would like to

Add to Reading List

Source URL: www.math.uni-bonn.de

Language: English - Date: 2005-11-23 11:13:14
454Algebra / Mathematics / Mathematical analysis / Roofline model / Software optimization / Software testing / Matrix theory / Matrix / Pi

spcl.inf.ethz.ch @spcl_eth TIMO SCHNEIDER <> DPHPC Recitation Session

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2015-11-23 13:58:39
455Physics / Condensed matter physics / Chemistry / Materials science / Quantum chemistry / Quantum mechanics / Lattice models / Hubbard model / Dynamical mean-field theory / Electronic band structure / Electron / Anderson impurity model

Model Hamiltonians and Basic Techniques

Add to Reading List

Source URL: www.cond-mat.de

Language: English - Date: 2014-05-26 12:52:54
456FO / Finite model theory

PDF Document

Add to Reading List

Source URL: www.mogenclark.com

Language: English - Date: 2009-06-10 15:32:27
457Finance / Money / Economy / Mathematical finance / Financial economics / Financial risk / Investment / Actuarial science / Modern portfolio theory / Portfolio optimization / Leverage / Marginal conditional stochastic dominance

INVITED EDITORIAL COMMENT FA L LA Comparison of the Mean–Variance–Leverage Optimization Model and the Markowitz General

Add to Reading List

Source URL: www.jlem.com

Language: English - Date: 2014-03-18 11:41:06
458Spectral theory / Wave mechanics

The following appendices accompany the article Do resource declines increase predation rates on North Pacific harbor seals? A behavior-based plausibility model Alejandro Frid1,*, Gregory G. Baker2, Lawrence M. Dill1 1

Add to Reading List

Source URL: alejandrofridecology.weebly.com

Language: English - Date: 2012-04-01 17:38:20
459Analysis of algorithms / Computer science / Mathematics / Theoretical computer science / Applied mathematics / Online algorithms / Probabilistic complexity theory / Randomized algorithms / Adversary model / Algorithm / Pseudorandomness / Unique sink orientation

Randomized Algorithms An Introduction through Unique Sink Orientations Lecture Notes Bernd G¨artner, ETH Z¨urich February 13, 2004

Add to Reading List

Source URL: people.inf.ethz.ch

Language: English - Date: 2016-06-20 11:55:28
460Fluid dynamics / Turbulence / Aerodynamics / Chaos theory / Transport phenomena / Boundary layer / John L. Lumley / Reynolds stress / K-epsilon turbulence model / Turbulence modeling

MAE 214A, Spring 2016 Introduction to Turbulence and Turbulent Mixing Prof. Sutanu Sarkar Mechanical and Aerospace Engineering Mail Code 0411 Office: 578 EBU II

Add to Reading List

Source URL: cfdlab.ucsd.edu

Language: English - Date: 2016-03-31 19:20:04
UPDATE